Proceedings 24th International Workshop on Unification
نویسندگان
چکیده
منابع مشابه
Special Issue: Proceedings of the 24th International Workshop on Matrices and Statistics
Abstract: Let T = {z1, z2, . . . , zn} be a finite multiset of real numbers, where z1 ≤ z2 ≤ · · · ≤ zn. The purpose of this article is to study the different properties of MIN and MAX matrices of the set T with min(zi , zj) and max(zi , zj) as their ij entries, respectively. We are going to do this by interpreting these matrices as so-called meet and join matrices and by applying some known re...
متن کاملUNIF 26 26 th International Workshop on Unification Proceedings July 1 , 2012 Manchester , United Kingdom
Unification modulo equational theories was originally introduced in automated deduction and term rewriting, but has recently also found applications in modal logics and description logics. In this talk, we review problems and results for unification in description logics, and relate them to equational unification and unification in modal logics. Related problems, like disunification, rigid E-un...
متن کاملProceedings of the International Workshop on
Today’s industry is pushed by the competitive pressure to revise the business model by opening the organizational boundaries to suppliers, clients and partners. As a side effect, knowledge sharing within the market increases and organizations may lose control on strategical knowledge that can be exploited by competitors. For this reason process monitoring today cannot fail in controlling the co...
متن کاملThe 22nd International Workshop on Unification Proceedings Editor: Mircea Marin Unif 2008 the 22nd International Workshop on Unification Matching with Membership Constraints for Hedge and Context Variables 55 Unification modulo Homomorphic Encryption Is Decidable
In this paper, we consider policies that are described by regular languages. Such regular policies L are assumed to describe situations that are problematic, and thus should be avoided. Given a trace pattern u, i.e., a sequence of action symbols and variables, were the variables stand for unknown (i.e., not observed) sequences of actions, we ask whether u potentially violates a given policy L, ...
متن کاملProceedings of the second “ international Traveling Workshop
We consider the problem of audio source localization in a medium with unknown characteristics, particularly the speed of sound within the medium. We propose an algorithm to retrieve both the speed of sound and the localized signals under reasonable assumptions such as smoothness of medium structure. We present initial simulation results for stationary sinusoidal sources both for the case of uni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.42.0